Although the relationship of part to whole is one of the most fundamental there is, this is the first full-length study of this key concept. Showing that mereology, or the formal theory of part and whole, is essential to ontology, Simons surveys and critiques previous theories--especially the standard extensional view--and proposes a new account that encompasses both temporal and modal considerations. Simons's revised theory not only allows him to offer fresh solutions to long-standing problems, but also has far-reaching consequences for (...) our understanding of a host of classical philosophical concepts. (shrink)

The relationship of part to whole is one of the most fundamental there is; this is the first and only full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. 'Parts could easily be the standard book on mereology for the next (...) twenty or thirty years.' Timothy Williamson, Grazer Philosophische Studien. (shrink)

Commonsense ontology contains both continuants and occurrents, but are continuants necessary? I argue that they are neither occurrents nor easily replaceable by them. The worst problem for continuants is the question in virtue of what a given continuant exists at a given time. For such truthmakers we must have recourse to occurrents, those vital to the continuant at that time. Continuants are, like abstract objects, invariants under equivalences over occurrents. But they are not abstract, and their being invariants enables us (...) to infer both their lack of temporal parts and that non-invariant predications about them must be relativized to times. \\\ [Joseph Melia] In this paper I try to eliminate occurrents from our ontology. I argue against Simons' position that occurrents are needed to supply truthmakers for existential claims about continuants. Nevertheless, those who would eliminate occurrents still need some account of our willingness to assert sentences that logically entail their existence. Though it turns out to be impossible to paraphrase away our reference to occurrents, I show that the truthmakers for such sentences are facts that involve only continuants. This is enough to allow us to regard our ordinary talk about occurrents as fictional. Finally, I argue that a proper conception of the underlying temporal facts about continuants can both avoid the problematic tensed theory of time and the problem of temporary intrinsics. (shrink)

A realist theory of truth for a class of sentences holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar, we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core of our theory is the (...) account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. In contrast to this, we uphold the mutual independence of logical and ontological complexity, and the authors outline formal principles of truthmaking taking account of both kinds of complexity. (shrink)

[Peter Simons] Commonsense ontology contains both continuants and occurrents, but are continuants necessary? I argue that they are neither occurrents nor easily replaceable by them. The worst problem for continuants is the question in virtue of what a given continuant exists at a given time. For such truthmakers we must have recourse to occurrents, those vital to the continuant at that time. Continuants are, like abstract objects, invariants under equivalences over occurrents. But they are not abstract, and their being (...) invariants enables us to infer both their lack of temporal parts and that non-invariant predications about them must be relativized to times. \\\ [Joseph Melia] In this paper I try to eliminate occurrents from our ontology. I argue against Simons' position that occurrents are needed to supply truthmakers for existential claims about continuants. Nevertheless, those who would eliminate occurrents still need some account of our willingness to assert sentences that logically entail their existence. Though it turns out to be impossible to paraphrase away our reference to occurrents, I show that the truthmakers for such sentences are facts that involve only continuants. This is enough to allow us to regard our ordinary talk about occurrents as fictional. Finally, I argue that a proper conception of the underlying temporal facts about continuants can both avoid the problematic tensed theory of time and the problem of temporary intrinsics. (shrink)

During the realist revival in the early years of this century, philosophers of various persuasions were concerned to investigate the ontology of truth. That is, whether or not they viewed truth as a correspondence, they were interested in the extent to which one needed to assume the existence of entities serving some role in accounting for the truth of sentences. Certain of these entities, such as the Sätze an sich of Bolzano, the Gedanken of Frege, or the propositions of Russell (...) and Moore, were conceived as the bearers of the properties of truth and falsehood. Some thinkers however, such as Russell, Wittgenstein in the Tractatus, and Husserl in the Logische Untersuchungen, argued that instead of, or in addition to, truth-bearers, one must assume the existence of certain entities in virtue of which sentences and/or propositions are true. Various names were used for these entities, notably 'fact', 'Sachverhalt', and 'state of affairs'. (1) In order not to prejudge the suitability of these words we shall initially employ a more neutral terminology, calling any entities which are candidates for this role truth-makers. (shrink)

Bolzano's theory of collections (Inbegriffe) has usually been taken as a rudimentary set theory. More recently, Frank Krickel has claimed it is a mereology. I find both interpretations wanting. Bolzano's theory is, as I show, extremely broad in scope; it is in fact a general theory of collective entities, including the concrete wholes of mereology, classes-as-many, and many empirical collections. By extending Bolzano's ideas to embrace the three factors of kind, components and mode of combination, one may develop a coherent (...) general account of collections. But it is most difficult to take Bolzano's view to fit modern set theory. So while Krickel's positive thesis is rejected, his negative thesis is confirmed. (shrink)

Rafal Urbaniak. Leśniewski’s Systems of Logic and Foundations of Mathematics. Trends in Logic; 37. Springer, 2014. ISBN: 978-3-319-00481-5, 978-3-319-34416-4, 978-3-319-00482-2. Pp. xiii + 229.

The metaphysics of relations is still in its infancy. We use the idea of truthmaking to gain purchase on this metaphysics. Assuming a modest supervenience conception of truthmaking, where true relational predications require multiply dependent truthmakers, these are indispensable relations. Though some such relations are required, none are needed for internal relatedness, nor for several other kinds of relational predication. Discerning the metaphysically basic kinds of relations is fraught with uncertainties, but must be tackled if progress is to be made.

This paper assesses those features of Lesniewski's Ontology which make it difficult to understand for logicians accustomed to more orthodox systems of logic. It is seen that certain general features of presentation and content can, by selective acceptance or modification, be accommodated with a fairly orthodox viewpoint. The chief difficulty lies in the interpretation of Le?niewski's names, and the constant ???. Four interpretations are suggested in turn: Le?niewski's names as monadic predicates; as class terms; as common nouns; and as empty, (...) singular or plural terms. This last and least orthodox interpretation is argued to be the most suitable, but it is shown how it can be made to live in harmony with either the common noun or the class interpretation. (shrink)

Frege's theory of real numbers has undeservedly received almost no attention, in part because what we have is only a fragment. Yet his theory is interesting for the light it throws on logicism, and it is quite different from standard modern approaches. Frege polemicizes vigorously against his contemporaries, sketches the main features of his own radical alternative, and begins the formal development. This paper summarizes and expounds what he has to say, and goes on to reconstruct the most important steps (...) which he is likely to have subsequently taken. The various difficulties facing his theory in this reconstruction are outlined, and some surprising consequences drawn about the nature of his logicism. (shrink)

SummaryLeśniewski presented his logical systems in a way which conformed to his nominalism, so the question arises whether Leśniewski's logic can be given a natural formal semantics which, unlike current versions, avoids commitment to abstract entities. Building on hints in Wittgenstein's Tractatus, I develop the idea of a way of meaning which is the basis for what I call combinatorial semantics. I then consider whether this commits us to abstract objects or an intensional metalogic.

This book with an introduction by Witold Marciszewski, views the history of philosophy and logic from 1837 to 1939 from the perspective of the cradle of modern exact philosophy - Central Europe. In a series of case studies, it illuminates the developments in this region, most notably in Austria and Poland, examining thinkers such as Bolzano, Brentano, Meinong, Husserl, Twardowski, Lesniewski, and Tarski, as well as the logicians like Frege and Russell with whom they bore a close resemblance. The book (...) challenges established views about the history of philosophy and logic in Europe, and shows the vitality of the Central European tradition. (shrink)

In his doctoral dissertation Von der mannigfachen Bedeutung des Seienden nach Aristoteles Brentano tried to show that (against criticism of this) one could indeed give a principle defense of Aristotle's table of categories as a coherent system. In later texts Brentano appears sharply critical of Aristotle, mainly in respect to Aristotle's mereology, or theory of part and whole, and to his theory of substance and accident. It is argued that Brentano hadn't observed that Aristotle's belief that there are as many (...) predicative senses of 'be' as there are categories of being is based not on his mereology but on his theory of definition. Overlooking this Brentano was led to far reaching inadequate ontological consequences. (shrink)

SummaryLeśniewski presented his logical systems in a way which conformed to his nominalism, so the question arises whether Leśniewski's logic can be given a natural formal semantics which, unlike current versions, avoids commitment to abstract entities. Building on hints in Wittgenstein's Tractatus, I develop the idea of a way of meaning which is the basis for what I call combinatorial semantics. I then consider whether this commits us to abstract objects or an intensional metalogic.

λ-calculi are of interest to logicians and computer scientists but have largely escaped philosophical commentary, perhaps because they appear narrowly technical or uncontroversial or both. I argue that even within logic λ-expressions need to be understood correctly, as functors signifying functions in intension within a categorical or typed language. λ-expressions are not names but pure viable binders generating functors, and as such they are of use in giving explicit definitions. But λ is applicable outside logic and computer science, anywhere where (...) the notions of complex whole, substitution, abstraction and structure make sense. To illustrate this, two domains are considered. One is somewhat frivolous: the study of flags; the other is very serious: manufacturing engineering. In each case we can employ λ-abstraction to describe substitutions within a structure, and in the latter case there is even a practical need for such a notation. (shrink)

I argue that the assumptions that physically basic things are either mereologically atomic, or that they are continuous and there are no atoms, both face difficult conceptual problems. Both views tend to presuppose a largely unquestioned assumption, that things have parts corresponding to the geometric parts of the regions they occupy. To avoid these problems I propose a third view, that physically simple things occupy a finite volume without themselves having parts. This view is examined enough to tease out some (...) of its consequences and show that it withstands the obvious questions it faces. I conclude by mentioning some precedents for this view in Democritus, Kant, and Whitehead, with close variants in Boscovich, Harré, and Markosian. (shrink)

I argue that the assumptions that physically basic things are either mereologically atomic, or that they are continuous and there are no atoms, both face difficult conceptual problems. Both views tend to presuppose a largely unquestioned assumption, that things have parts corresponding to the geometric parts of the regions they occupy. To avoid these problems I propose a third view, that physically simple things occupy a finite volume without themselves having parts. This view is examined enough to tease out some (...) of its consequences and show that it withstands the obvious questions it faces. I conclude by mentioning some precedents for this view in Democritus, Kant, and Whitehead, with close variants in Boscovich, Harré, and Markosian. (shrink)

In the twentieth century three approaches to modality dominated. One denied its legitimacy. A second made language the source of modality. The third treats possible worlds as the source of truth for modal propositions Meinong’s account of modality is quite different from all of these. Like the last it has an ontological basis, but it eschews worlds in favour of a rich one-world ontology of objects and states of affairs, many of which notoriously fail to exist and some even more (...) notoriously fail to be possible. We lay out the ontological basis of Meinong’s system and show how he accommodates standard modal notions. Two peculiarities of his system are investigated: his preference of possibility over necessity, and his treatment of degrees of possibility, which allows him to subsume probability theory in his account. (shrink)

The relationship of part to whole is one of the most fundamental there is, yet until now there has been no full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. This has far-reaching consequences for our understanding of such classical philosophical (...) concepts as identity, individual, class, substance and accident, matter, form, essence, dependence, and integral whole. It also enables the author to offer new solutions to long-standing problems surrounding these concepts, such as the Ship of Theseus Problem and the issue of mereological essentialism. The author shows by his use of formal techniques that classical philosophical problems are amenable to rigorous treatment, and the book represents a synthesis of issues and methods from the analytical tradition and from the older continental realist tradition of Brentano and the early Husserl. (shrink)

For most of the history of metaphysics, the subject has been dominated by the concept of substance. There is an everyday commonsense notion of substance which is perfectly harmless and which I shall defend against attempts to remove it or revise it away. But I deny that substance has to be construed as a primitive even in everyday terms. Borrowing Strawson’s distinction between descriptive and revisionary metaphysics, I press the legitimate claims of revisionary metaphysics and argue that there is no (...) place for a fundamental concept of substance within it, although aspects of the concept are likely to find their place therein. (shrink)

Czesław Lejewski studied in Warsaw before the Second World War, after which he settled in England and resumed an academic career, becoming Professor of Philosophy in Manchester. His writings, all articles, continue and extend the ideas of his teachers, especially Stanisław Leśniewski in logic and Tadeusz Kotarbiński in metaphysics.

George Boolos's employment of plurals to give an ontologically innocent interpretation of monadic higher‐order quantification continues and extends a minority tradition in thinking about quantification and ontological commitment. An especially prominent member of that tradition is Stanislaw Leśniewski, and shall first draw attention to this work and its relation to that of Boolos. Secondly I shall stand up briefly for plurals as logically respectable expressions, while noting their limitations in offering ontologically deflationary accounts of higher‐order quantification. Thirdly I shall focus (...) on the key idea of ontological commitment and investigate its connection with the idea of truth‐making. Fourthly I shall consider how different interpretations of quantification may sideline Boolos's work, but finally I shall largely support his analysis of quantification involving nominal expressions, while arguing, in the spirit of Arthur Prior, that non‐nominal quantification is non‐committing. (shrink)

Although Brentano generally regarded himself as at heart a metaphysician, his work then and subsequently has always been dominated by the Psychology. He is rightly celebrated as the person who reintroduced the Aristotelian-Scholastic notion of intentio back into the study of the mind. Brentano's inspiration was Aristotle's theory of perception in De anima, though his terminology of intentional inexistence was medieval. For the history of the work and its position in his output may I refer to my Introduction to the (...) reprinted English translation. Alongside Aristotle the work shows influences of Descartes, Comte and the British empiricists. The theory of intentionality presented in the Psychology is much less modern and less plausible than almost all recent commentary would have it, and was in any case not where Brentano's main interest lay. Intentionality simply served to demarcate mental phenomena from physical, in Book One, but the main aim was a classification of the mental, outlined in Book Two. Books Three to Five were to have dealt in detail with the three main classes of presentations, judgements and feelings, with the final book considering the metaphysics: mind-body and the immortality of the soul. Brentano's shifting views, recently documented in English with Benito Muller's translation of Descriptive Psychology, a work from the transitional 1890s, made the original plan obsolete. The role of an a priori, philosophical or descriptive psychology, methodologically prior to empirical-experimental genetic psychology, foreshadowed and influenced Husserl's notion of phenomenology, and Brentano's Comtean methodological epoche of desisting from controversial metaphysical statements in favour of an examination of the phenomena likewise presaged Husserl's more ponderous phenomenological reductions. Brentano's other work covers most areas of philosophy, notably ethics, where he upheld a form of a priori intuitionism much admired by G. E. Moore, the philosophy of religion, metaphysics, philosophy of language, deductive and inductive logic, and the history of philosophy. I shall mention just two areas. In his logic lectures from 1866 onwards (a compilation published 1956) Brentano rejected the subject-predicate analysis of simple judgements and proposed instead (for which he apparently secured written assent from Mill) that all judgements are logical compounds of positive and negative existential judgements. For example the universal judgement All men are mortal becomes the negative existential There are no immortal men. On this basis Brentano radically simplified the inference rules of deductive logic. While unlike de Morgan, Frege and others he does not go beyond logic's traditional scope by recognising relations, within its bounds his reformed-term logic is simple, elegant and easily teachable. Some of his ideas in logic influenced the young Husserl. Unfortunately Brentano took against mathematical logic, which he wrongly associated exclusively with Hamilton's confused doctrine of the quantification of the predicate. His inductive logic, which takes up by far the greater part of his logic lectures, remains unresearched to this day. (shrink)

The University of Warsaw has a splendid modern library with 60,000 m 2 of floor space. It resembles a shopping centre. The long and elegant modern building on ulica Dobra, on the low ground between the old University and the Vistula, was opened in 1998 replacing the previous hopelessly inadequate facilities. It has an imposing sequence of copper-green “great texts” on its front side in Greek, Arabic, Sanskrit, Hebrew, Latin, Polish, music, and mathematics. These are international symbols, posting Warsaw’s claim (...) to international status. But inside, once one has passed the mall -like coffee-shop. (shrink)